natural deduction system
[网络] 自然演绎系统；自然推理系统；自然演译系统
热门查询
- sophomoric adj. 一知半解的；大学或四年制中学的二年级的
- pad n. 衬垫；护具；便笺簿；填补 vi. 步行；放轻脚步走 vt. 填补；走 n. (Pad)人名；(英)帕德(男子教名 Patrick 的昵称)
- coiffed adj. 整理过的；做过头发的 v. 做成某种发型（coif的过去式和过去分词）
- Ghana n. 加纳（非洲西部国家）
- anthropometry n. （使用比较方法的）[人类] 人体测量学
- Khrushchev n. 赫鲁晓夫
- sigil n. 印章；魔符；魔诀
- Hudson n. 哈得孙河
- artificial intelligence n. 人工智能 [网络] 人工智慧；人工智能专业研究生排名；人工知能
- bandanna n. 扎染印花大手帕（等于bandana）
- aficionado n. 迷；狂热爱好者
- knack n. 诀窍；本领；熟练技术；巧妙手法
- tangled adj. 紊乱的；纠缠的；缠结的；复杂的
- Bernhard [人名] 伯恩哈德
- contrite adj. 悔悟了的；后悔的；悔罪的
- chieftaincy n. 酋长或首领的地位或职位
- overture n. 前奏曲；提案；序幕 vt. 提议；为……奏前奏曲
- pester n. (Pester)人名；(德)佩斯特 vt. 纠缠，烦扰；使烦恼
- pigsty n. 猪舍；木垛；脏乱的地方
- unbelieving adj. 不相信的；多疑的
考试词汇表
- system-managed storage
- system-space parameter
- system-support library
- systema respiratoriums
- systematic arrangement
- systematic bactedology
- systematic bacteriolog
- systematic block codes
- systematic circulation
- systematic deformation
- systematic description
- systematic development
- systematic discrepancy
- systematic engineering
- systematic intermating
- systematic maintenance
- systematic measurement
- systematic nomenclatur
- systematic observation
- systematic perspective
